Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів
1

Modeling time in computing

Furia, Carlo A., Mandrioli, Dino, Morzenti, Angelo, Rossi, Matteo
Журнал:
ACM Computing Surveys
Рік:
2010
Мова:
english
Файл:
PDF, 817 KB
english, 2010
2

TRIO: A logic language for executable specifications of real-time systems

Carlo Ghezzi, Dino Mandrioli, Angelo Morzenti
Журнал:
Journal of Systems and Software
Рік:
1990
Мова:
english
Файл:
PDF, 2.08 MB
english, 1990
3

Executable specifications with data-flow diagrams

Alfonso Fuggetta, Carlo Ghezzi, Dino Mandrioli, Angelo Morzenti
Журнал:
Software: Practice and Experience
Рік:
1993
Мова:
english
Файл:
PDF, 1.65 MB
english, 1993
4

A deterministic parsing algorithm for ambiguous regular expressions

Borsotti, Angelo, Breveglieri, Luca, Crespi Reghizzi, Stefano, Morzenti, Angelo
Журнал:
Acta Informatica
Рік:
2020
Мова:
english
Файл:
PDF, 1.05 MB
english, 2020
5

On the approximability of some maximum spanning tree problems

Giulia Galbiati, Angelo Morzenti, Francesco Maffioli
Журнал:
Theoretical Computer Science
Рік:
1997
Мова:
english
Файл:
PDF, 844 KB
english, 1997
6

A theory of implementation and refinement in timed Petri nets

Miguel Felder, Angelo Gargantini, Angelo Morzenti
Журнал:
Theoretical Computer Science
Рік:
1998
Мова:
english
Файл:
PDF, 2.34 MB
english, 1998
8

A Dual Language Approach to the Development of Time-Critical Systems

Luigi Lavazza, Sandro Morasca, Angelo Morzenti
Журнал:
Electronic Notes in Theoretical Computer Science
Рік:
2005
Мова:
english
Файл:
PDF, 269 KB
english, 2005
9

Automated compositional proofs for real-time systems

Carlo A. Furia, Matteo Rossi, Dino Mandrioli, Angelo Morzenti
Журнал:
Theoretical Computer Science
Рік:
2007
Мова:
english
Файл:
PDF, 842 KB
english, 2007
10

Dealing with Zero-Time Transitions in Axiom Systems

Angelo Gargantini, Dino Mandrioli, Angelo Morzenti
Журнал:
Information and Computation
Рік:
1999
Мова:
english
Файл:
PDF, 223 KB
english, 1999
17

[Texts in Computer Science] Formal Languages and Compilation ||

Crespi Reghizzi, Stefano, Breveglieri, Luca, Morzenti, Angelo
Рік:
2013
Мова:
english
Файл:
PDF, 6.55 MB
english, 2013
18

A model parametric real-time logic

Morzenti, Angelo, Mandrioli, Dino, Ghezzi, Carlo
Журнал:
ACM Transactions on Programming Languages and Systems
Рік:
1992
Мова:
english
Файл:
PDF, 3.38 MB
english, 1992
20

A logic-based semantics for the verification of multi-diagram UML models

Baresi, Luciano, Morzenti, Angelo, Motta, Alfredo, Rossi, Matteo
Журнал:
ACM SIGSOFT Software Engineering Notes
Рік:
2012
Мова:
english
Файл:
PDF, 828 KB
english, 2012
28

Automated deductive requirements analysis of critical systems

Gargantini, Angelo, Morzenti, Angelo
Журнал:
ACM Transactions on Software Engineering and Methodology
Рік:
2001
Мова:
english
Файл:
PDF, 277 KB
english, 2001
29

Analysis of techniques in the assessment of ultra-reliable computerized systems

Morzenti, Angelo, Schreiber, Fabio A.
Журнал:
ACM SIGSOFT Software Engineering Notes
Рік:
1997
Мова:
english
Файл:
PDF, 544 KB
english, 1997
30

Validating real-time systems by history-checking TRIO specifications

Felder, Miguel, Morzenti, Angelo
Журнал:
ACM Transactions on Software Engineering and Methodology
Рік:
1994
Мова:
english
Файл:
PDF, 2.25 MB
english, 1994
31

Generating test cases for real-time systems from logic specifications

Mandrioli, Dino, Morasca, Sandro, Morzenti, Angelo
Журнал:
ACM Transactions on Computer Systems
Рік:
1995
Мова:
english
Файл:
PDF, 2.20 MB
english, 1995
36

A framework architecture for supervision and control systems

Capobianchi, Riccardo, Coen-Porisini, Alberto, Mandrioli, Dino, Morzenti, Angelo
Журнал:
ACM Computing Surveys
Рік:
2000
Мова:
english
Файл:
PDF, 47 KB
english, 2000
37

Object-oriented logical specification of time-critical systems

Morzenti, Angelo, San Pietro, Pierluigi
Журнал:
ACM Transactions on Software Engineering and Methodology
Рік:
1994
Мова:
english
Файл:
PDF, 2.91 MB
english, 1994
42

Temporal Logic for Validation and Verifying Enel Control Systems

Crivelli, Ernani, Morzenti, Angelo, Ratto, Elena
Журнал:
IFAC Proceedings Volumes
Рік:
1998
Мова:
english
Файл:
PDF, 1.74 MB
english, 1998
44

Fast deterministic parsers for transition networks

Borsotti, Angelo, Breveglieri, Luca, Crespi Reghizzi, Stefano, Morzenti, Angelo
Журнал:
Acta Informatica
Рік:
2017
Мова:
english
Файл:
PDF, 1.37 MB
english, 2017
45

[Texts in Computer Science] Formal Languages and Compilation ||

Crespi Reghizzi, Stefano, Breveglieri, Luca, Morzenti, Angelo
Рік:
2019
Мова:
english
Файл:
PDF, 9.35 MB
english, 2019